$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$), $l$:($A$ List). (map($f$;$l$) = [] $\in$ ($B$ List)) $\Leftarrow\!\Rightarrow$ ($l$ = [])